sqrt(6 * lim n->oo sum i=1..n 1/(i^2))